Language of mathematics - PDFSEARCH.IO - Document Search Engine

Language of mathematics
Results: 1871

#	Item
561	Using JFLAP to Interact with Theorems in Automata Theory Eric Gramond and Susan H. Rodger Duke University, Durham, NC [removed] Abstract Add to Reading List Source URL: www.cs.duke.edu Language: English - Date: 1999-01-05 11:27:33 Computer science Applied mathematics Deterministic finite automaton Nondeterministic finite automaton Finite-state machine Computability Deterministic pushdown automaton Context-free language Pushdown automaton Automata theory Models of computation Theoretical computer science
562	You and Your Research & The Elements of Style Philip Wadler University of Edinburgh Summer School on Trends in Computing Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2014-07-09 09:27:10 Mathematics Computer arithmetic Hamming Next Magazine Politics and the English Language Computer science Academia Coding theory Error detection and correction Richard Hamming
563	Warsaw University Faculty of Mathematics, Informatics and Mechanics Ngo Chi Lang Index: 181191 Add to Reading List Source URL: project.carrot2.org Language: English - Date: 2015-01-09 08:48:14 Science Natural language processing Multivariate statistics Data mining Document clustering Cluster analysis Hierarchical clustering Carrot2 Vector space model Information science Statistics Information retrieval
564	Learning of Graph Rules for Question Answering Diego MOLLA and Menno VAN ZAANEN Centre for Language Technology, Macquarie University Sydney, Australia, {diego,menno}@ics.mq.edu.au Add to Reading List Source URL: www.alta.asn.au Language: English - Date: 2006-02-22 22:07:55 Information science Computational linguistics Information retrieval Natural language processing Question answering Graph rewriting Graph Open domain question answering Question Graph theory Science Mathematics
565	USERS MANUAL GRASP: a data analysis package for gravitational wave detection Bruce Allen Department of Physics University of Wisconsin - Milwaukee Add to Reading List Source URL: www.lsc-group.phys.uwm.edu Language: English - Date: 1999-03-30 20:08:31 Signal processing C programming language Chirp Function Mathematical optimization Struct LIGO GRASP C Computing Mathematics Software engineering
566	Ideas for a high-level proof strategy language Cliff B. Jones School of Computing Newcastle University Newcastle upon Tyne NE1 7RU Add to Reading List Source URL: www.ai4fm.org Language: English - Date: 2013-10-30 13:19:51 Theoretical computer science Proof theory Logical syntax Formal systems Logical truth Rippling Formal methods Theorem Mathematical proof Logic Mathematics Automated theorem proving
567	A Formal Approach to Vague Expressions with Indexicals Liesbeth Martens and Giuseppe Primiero? Centre for Logic and Philosophy of Science, Ghent University, Belgium {Liesbeth.Martens, Giuseppe.Primiero}@UGent.be Add to Reading List Source URL: logica.ugent.be Language: English - Date: 2012-11-22 11:12:55 Semantics Fuzzy logic Propositional calculus Philosophy of language Non-classical logic Indexicality Vagueness Sorites paradox Entailment Logic Mathematical logic Mathematics
568	Tobias Nipkow Gerwin Klein C Add to Reading List Source URL: concrete-semantics.org Language: English - Date: 2015-04-08 16:10:15 Logic in computer science Programming language semantics Formal sciences Formal languages Formal methods Denotational semantics Semantics of programming languages Isabelle Mathematical proof Theoretical computer science Mathematics Logic
569	Cooooooooooooooollllllllllllll!!!!!!!!!!!!!! Using Word Lengthening to Detect Sentiment in Microblogs * Preprint Version * Nicholas Diakopoulos School of Communication and Information Add to Reading List Source URL: www.nickdiakopoulos.com Language: English - Date: 2011-07-12 10:06:48 Computational linguistics Mathematics Sentiment analysis Twitter Stemming Algorithm Lexicon Function Dictionary Linguistics Science Natural language processing
570	Stat 302 Statistical Software and Its Applications SAS: Interactive Matrix Language (IML) Fritz Scholz Department of Statistics, University of Washington Add to Reading List Source URL: www.stat.washington.edu Language: English - Date: 2015-03-07 18:44:02 Matrices Vectors 4GL Business intelligence SAS Concatenation R Matrix Column vector Algebra Mathematics Linear algebra

UPDATE